Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
211	Overview of SMT CVC4 The CVC4 SMT Solver Martin Brain on behalf of Morgan Deters Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:10:38 Logic Formal methods Constraint programming Logic in computer science Satisfiability Modulo Theories First-order logic Interpretation Theoretical computer science Mathematical logic Model theory
212	E MPIRICAL A NALYSIS OF L OCAL S EARCH A LGORITHMS AND P ROBLEM D IFFICULTY IN S ATISFIABILITY by Dave Tae Shik Yoon Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-09-14 13:48:35 Mathematics Applied mathematics Operations research Boolean algebra WalkSAT Boolean satisfiability problem Local search Mathematical optimization Satisfiability Theoretical computer science Constraint programming Logic in computer science
213	a YAP User’s Manual Version[removed]V´ıtor Santos Costa, Add to Reading List Source URL: www.dcc.fc.up.pt Language: English - Date: 2010-08-04 13:47:19 Constraint programming Prolog Logtalk YAP Logic programming Constraint Handling Rules Warren Abstract Machine Cygwin CLP Computing Software engineering Software
214	Sceptic User Manual September 1989, revised March 1990 Version 3.0, December 1990 Saki Hajnal John Fox Paul Krause Add to Reading List Source URL: cogent.psyc.bbk.ac.uk Language: English - Date: 2012-01-10 15:14:11 Prolog Logic programming Programming paradigms Production system Constraint programming B-Prolog Software engineering Computer programming Computing
215	Synthesizing Programs with Constraint Solvers CAV 2012 invited tutorial Ras Bodik Emina Torlak Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-07-31 02:23:26 Software engineering Formal methods Constraint programming Logic in computer science Logic programming Solver Formal verification Synthesizer Model checking Applied mathematics Theoretical computer science Programming paradigms
216	AGH University of Science and Technology in Krakow M.Sc. Thesis Constraint Programming for Stochastic Problems Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2009-12-10 18:18:51 Computing Constraint satisfaction Constraint optimization Local consistency Mathematical optimization Linear programming Logic programming Backtracking Constraint logic programming Constraint programming Software engineering Computer programming
217	Alt-Ergo An SMT Solver for Software Verification Mohamed Iguernelala — OCamlPro SAS About ... Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:10:20 Functional languages Constraint programming Logic in computer science Electronic design automation Satisfiability Modulo Theories OCaml Automated theorem proving Coq Uclid Theoretical computer science Software Formal methods
218	Programming with Constraint Solvers CS294: Program Synthesis for Everyone Ras Bodik Emina Torlak Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-09-04 09:58:41 Computing Constraint programming Numerical software Declarative programming Prolog Logic programming Solver Function B-Prolog Software engineering Computer programming Programming paradigms
219	Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)? Oleg Kiselyov1 , William E. Byrd2 , Daniel P. Friedman2 , and Chung-chieh Shan3 1 Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:44 Functions and mappings Function Prolog Constraint logic programming Unification Multiplication FO Constructible universe Mathematics Mathematical logic Logic programming
220	Microsoft Word - IAAI2000 HA _Final_.doc Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 01:38:13 Computing Constraint satisfaction Nursing in the United Kingdom Constraint logic programming Local consistency Dispatch ILOG Scheduling Constraint programming Software engineering Computer programming

UPDATE